Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2

Source URL: cakeml.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Programming language semantics
• Philosophical logic
• Models of computation
• Operational semantics
• Denotational semantics
• Standard ML
• Kripke semantics

[1] [2] Bitcore BTX A Genuinely Community-Driven Payment Solution

Source URL: bitcore.cc

• Cryptocurrencies
• Bitcoin
• Money
• Economy
• Digital currencies
• Free software
• Alternative currencies
• Decentralization
• Satoshi Nakamoto
• SegWit
• Blockchain
• Draft:Lightning Bitcoin

Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

Feature Pyramid Networks for Object Detection Tsung-Yi Lin1,2 , Piotr Doll´ar1 , Ross Girshick1 , Kaiming He1 , Bharath Hariharan1 , and Serge Belongie2 1 arXiv:1612.03144v2 [cs.CV] 19 Apr 2017

Source URL: arxiv.org

• Computer vision
• Artificial intelligence
• Vision
• Image processing
• Computational neuroscience
• Artificial neural networks
• Pyramid
• Object detection
• Convolutional neural network
• Image segmentation
• Outline of object recognition
• Egyptian pyramids

Achain Wallet User Guide Table 1. Notice ................................................................................................ 2 2. Setup and Log in ............................................................

Source URL: www.achain.com

• Economy
• Payment systems
• Money
• E-commerce
• Digital wallet
• Password
• Wallet
• Backup

Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2

Source URL: repository.ist.ac.at

• Mathematics
• Geometry
• Algebra
• Analytic geometry
• Linear algebra
• Algebraic curves
• Cone
• Surfaces
• Conic section
• Convex cone
• Line
• Hybrid system

Poster: Security Analysis of HSTS Implementation in Browsers Yan Jia1,2, Yuqing Zhang2,1 1 2

Source URL: www.ieee-security.org

• Computing
• Software
• Cryptography
• Transport Layer Security
• HTTP Strict Transport Security
• HTTP Public Key Pinning
• HTTP cookie
• Browser security
• HTTPS
• Public key certificate
• Google Chrome
• Firefox

Mathémagie : cycles de de Bruijn et jeu de carte. Fabrice ORGOGOZO Références : [TAOCP 4A, ], [TAOCP 1, exercice], [TAOCP 2, exercice], [Flajolet et Sedgewick 2009, exemple V.15], [Stanley 19

Source URL: fabrice.orgogozo.perso.math.cnrs.fr

Allgemeine Geschäftsbedingungen der ITEMIS AG für Pflegeleistungen itemis AG Version 1.2.0, Allgemeine Geschäftsbedingungen der ITEMIS AG für Pflegeleistungen

Source URL: legal.itemis.com

MeCBICTimed P Automata Roberto Barbutia,1 Andrea Maggiolo-Schettinia,1 Paolo Milazzoa,1 Luca Teseib,2 a

Source URL: pages.di.unipi.it

• Models of computation
• Timed automaton
• Symbol
• Multiset
• P system
• Mathematics
• Mobile membranes